Non Linear Modeling of Mixed Ionic Electronic Conductors

A nonlinear model for the study of Mixed Ionic Electronic Conductors (MIEC) is presented in this paper. The model is time dependent and takes into account electrical carriers motion, the electrical behavior of the MIEC-metal interface and the kinetics of the chemistry occurring at the MIEC surface. By applying a small potential input complex impedances are computed

The structure of oppositions in rough set theory and formal concept analysis - Toward a new bridge between the two settings

Rough set theory (RST) and formal concept analysis (FCA) are two formal settings in information management, which have found applications in learning and in data mining. Both rely on a binary relation. FCA starts with a formal context, which is a relation linking a set of objects with their properties. Besides, a rough set is a pair of lower and upper approximations of a set of objects induced by an indistinguishability relation; in the simplest case, this relation expresses that two objects are indistinguishable because their known properties are exactly the same. It has been recently noticed, with different concerns, that any binary relation on a Cartesian product of two possibly equal sets induces a cube of oppositions, which extends the classical Aristotelian square of oppositions structure, and has remarkable properties. Indeed, a relation applied to a given subset gives birth to four subsets, and to their complements, that can be organized into a cube. These four subsets are nothing but the usual image of the subset by the relation, together with similar expressions where the subset and / or the relation are replaced by their complements. The eight subsets corresponding to the vertices of the cube can receive remarkable interpretations, both in the RST and the FCA settings. One facet of the cube corresponds to the core of RST, while basic FCA operators are found on another facet. The proposed approach both provides an extended view of RST and FCA, and suggests a unified view of both of them. © 2014 Springer International Publishing

Analogical Proportions and Multiple-Valued Logics

National audienceRecently, a propositional logic modeling of analogical proportions, i.e., statements of the form “A is to B as C is to D”, has been proposed, and has then led to introduce new related proportions in a general setting. This framework is well-suited for analogical reasoning and classification tasks about situations described by means of Boolean properties. There is a clear need for extending this approach to deal with the cases where i) properties are gradual ; ii) properties may not apply to some situations ; iii) the truth status of a property is unknown. The paper investigates the appropriate extension in each of these three cases

Development of a new generation solid rocket motor ignition computer code

This report presents the results of experimental and numerical investigations of the flow field in the head-end star grain slots of the Space Shuttle Solid Rocket Motor. This work provided the basis for the development of an improved solid rocket motor ignition transient code which is also described in this report. The correlation between the experimental and numerical results is excellent and provides a firm basis for the development of a fully three-dimensional solid rocket motor ignition transient computer code

Local attitudes toward Apennine brown bears: Insights for conservation issues

Human-carnivore coexistence is a multi-faceted issue that requires an understanding of the diverse attitudes and perspectives of the communities living with large carnivores. To inform initiatives that encourage behaviors in line with conservation goals, we focused on assessing the two components of attitudes (i.e., feelings and beliefs), as well as norms of local communities coexisting with Apennine brown bears (Ursus arctos marsicanus) for a long time. This bear population is under serious extinction risks due to its persistently small population size, which is currently confined to the long-established protected area of Abruzzo, Lazio and Molise National Park (PNALM) and its surrounding region in central Italy. We interviewed 1,611 residents in the PNALM to determine attitudes and values toward bears. We found that support for the bear's legal protection was widespread throughout the area, though beliefs about the benefits of conserving bears varied across geographic administrative districts. Our results showed that residents across our study areas liked bears. At the same time, areas that received more benefits from tourism were more strongly associated with positive feelings toward bears. Such findings provide useful information to improve communication efforts of conservation authorities with local communities

A modal theorem-preserving translation of a class of three-valued logics of incomplete information

International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management

The influence of road networks on brown bear spatial distribution and habitat suitability in a human-modified landscape

Roads are human infrastructure that heavily affect wildlife, often with marked impacts on carnivores, including brown bears Ursus arctos. Here, we assessed the potential impact of road networks on the distribution of brown bears in the small, isolated and endangered Cantabrian population of north-western Spain. To ascertain whether local road networks affect brown bear spatial distribution, we first assessed potential influences on the distance of bear locations to roads using candidate models which included topographic variables, landcover types, bear age and reproductive status, traffic volume and road visibility. Then, we built two sets of habitat suitability models, both with and without roads, to discern the possible loss of habitat suitability caused by roads. The mean distance of bear locations to the nearest road was 968 804 m and the closest road was a low traffic road in 72.5% of cases. Candidate models showed little influence of our variables on bear distance to the nearest road, with the exception of elevation. Habitat suitability models revealed that road networks in our study area seem to have almost no effect on brown bear habitat suitability, except for females with yearlings during the denning season. However, this result may also be a consequence of the fact that only a small proportion (16.5%) of the cells classified as suitable bear habitats were crossed by roads, that is, most of the roads are primarily located in unsuitable bear habitats in the Cantabrian Mountains. Compared to previous studies conducted in other populations, mainly North American ones, our findings might suggest a different response of Eurasian brown bears to roads due to a longer bear-human coexistence in Europe versus North America. However, the indirect approach used in our study does not exclude other detrimental effects, for example, road mortality, increased stress and movement pattern disruption, only detectable by more direct approaches such as telemetry

A map of dependencies among three-valued logics

International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth value have also been suggested. They often carry an epistemic flavor. In this work, relationships between logical connectives on three-valued functions are explored. Existing theorems of functional completeness have laid bare some of these links, based on specific connectives. However we try to draw a map of such relationships between conjunctions, negations and implications that extend Boolean ones. It turns out that all reasonable connectives can be defined from a few of them and so all known three-valued logics appear as a fragment of only one logic. These results can be instrumental when choosing, for each application context, the appropriate fragment where the basic connectives make full sense, based on the appropriate meaning of the third truth-value

Forest management guidelines to promote the conservation of Apennine brown bear in Italy

Forests provide a wide range of important ecosystem services and, among these benefits, biodiversity and wildlife habitat. Forest management (including no active control) deeply affects wildlife management, since it can alter habitat structure and productivity, speed-up evolution of ecosystems, and impact on wildlife ability to survive and reproduce. Unfortunately still very often, practitioners, forest planners and policy-makers fail to understand this opportunity. Forest management can maintain and enhance quality, quantity and availability of natural resources for wildlife, and therefore it is a valuable management tool long recognized in the wildlife practice. This is particularly true for species associated to forest ecosystems which are threatened or endangered, such as the Apennine brown bear (Ursus arctos marsicanus). Based on an extensive literature review on forest management-bear interactions, we report recommended management actions and associated working techniques, hereby illustrated and discussed in order to define a set of forest management guidelines meant to promote and encourage the adoption of adequate silviculture practices in Apennine forests, as well as to facilitate and support the range expansion of Apennine brown bear beyond its current core distribution. Our aim is also to present these guidelines to a wider scientific audience and decision-makers to foster their implementation into management practices, especially within protected areas. Finally, our ultimate goal is to fill the gap between disciplines such as silviculture and animal ecology, with the aim of stimulating the multidisciplinary approach requested not only for the conservation of the Apennine brown bear but for the integrated and enhanced management of wildlife in general

Data-Driven Induction of Shadowed Sets Based on Grade of Fuzziness

We propose a procedure devoted to the induction of a shadowed set through the post-processing of a fuzzy set, which in turn is learned from labeled data. More precisely, the fuzzy set is inferred using a modified support vector clustering algorithm, enriched in order to optimize the fuzziness grade. Finally, the fuzzy set is transformed into a shadowed set through application of an optimal alpha-cut. The procedure is tested on synthetic and real-world datasets